$\mathbb{N}^{+}$ $\in$ Type